match () with
| [| 1
     2 |] -> ()
